truth in logic

逻辑真